Fix for #817