Correct source code locations