several bug fixes in hypothesis view/controller