fix #273: Missing 'type error'