A slight simplification