Simplify slightly