Remove useless semicolon in webconfig.py