Fix issue in superOf