fix #29, though a future change to the REST API would also have resolved it