Typesystem bug of "portObject"