Fix for #800