small corrections for github