fix sloppy mistakes in docs