Issue #2235 was fixed.