fixed notation bug