Small notation update