Remove @minispec when normalizing