Minor doc fixes suggested by review