fixed notation display bug