fix for #393