Issue #2417 was fixed.