Minor doc fixes. Essentially cosmetic