Removed some non-determinisim in the printing of line numbers.