Two small simplifications