test for wrong line numbers in pretty mode (see #472)