(Bug #879)