Issue #1392 is fixed.