Bug fix for #65