Minor tweaks to user information, and manuscript