Changed File extension, so that Github formats the file better