Fix for #880