Small fix in the truetyper