bugfix NullPointerException on Notations