Fixing bug #3144.