A little simplification