Notational corrections