fix breakage due to change to NothingType.inherits()