Wow. If that wasn't punctured by some physical force, it must have been corrosion..So, yeah cleaning the bowl every once in a while, and making sure the screen is intact inside the petcock should prevent that from happening in the future. Of course, we are dealing with 30+ year old Japanese pot metal here, so there's no guarantees I guess.