Fix filename in comments.