Fix bug shown by three-blade-interop.py