Minor doc fixes in various places