#9094: fix invalid file