Changed extension

Changed the extension for supporting formatting from github