Fixing bug #3528.