a few doc fixes for clarity