Fix for bug #876