fix for #748