fix for #934