some fixing related to notation