Fix bad require filename