#3600: Bug fix.