Correction for the fix of the bug mdev-6874.