I’m sure he just made that up. If a ref makes a call that a coach, parent or a recreational league player (did I miss anyone) has never heard of, the ref must have been wrong. The proper way to handle this is to yell and wave your arms at him in distain.