little notational fix