Fixed a few things in infoservlet