Re: [NTG-context] \type{...} introduces space