fix a null access in getNotation()