better implementation of Machine.releaseOperator