Rename to have correct file extension

Otherwise it doesn't get compiled to HTML.