fix for #727