Some simplification