closes #272: the argument ws_env was not used anywhere