fix for #388