a couple small bug fixes to docs