Correction to externals clause type checking