Little remark in 'checktype'.