Fix for #842