fix problem where getSupertype() returned Nothing