Fixed file extension so Github presents it nicely