Correct line numbers for debug emission