Fix github's goof