Issue #560 was fixed.