A bit of simplification