Simplify slightly.