use correct notation