fix for #352