simplification
adding missing