Fix minor file name bug which prevents compilation.