Issue 3856 fixed.