fix for #212