Small notation changes