Fix wrong filenames in comments