Small changes to user.hpp docs.