extension were not correctly checked in the type method