Made the code for the web-server slightly nicer