* Fix bug type checking variants.