Type correction