Fix for #878