Fix for #813