Fix 'bugs' in UserStateData's docstrings