github: doc correction