forgot note in prettyPrint()