Fix formatting for github.