Fix stupid type in webserver