fix for #417