fix for #217