[PATCH 3/7] regression-tests: fix test 12