Another small simplification