Fix Github formatting