Oops, forgot a line in rest_server.py