Minor updates for server.py and user.tpl.