patch for missing notations