Bug fix for Leonin Arbiter.