trivial simplification