fix overlooked file extension changes

I believe these changes of file extensions were overlooked in !414 (merged). I noticed them while working on !406 (closed).