Some further simplification