Minor bug fixes + changing the server version in setup.py.