Github screws up formatting