Issue #3113 was fixed.