Rename to fix GitHub page build problem