Minor cleanup of still-cruddy web server code.