Fix some docs syntax