another small simplification