Notation fix