Issue #1916 was fixed.