* fix a wrongly named file