Minor fixes to User docstrings.