bug with Notation Type 1