A few further simplifications