Even more simplifications