Issue #3158 was fixed.