That's the easiest and surest way to deal with the interference (which is only an issue with mid '70s and later heads). Some claim to have been able to use double exhaust gaskets, or grind the interfering part of the port flange away, or a combination of the two. More often than not, grinding the head in that area just hits the water jacket and junks the head.