Fix some filenames in comments.