add missing call to denotableType()