Issue #1493 was fixed.