small change to docs for tinyNotation