* minor documentation fixes for github