one more simplification that got forgotten