push minor docs fix