fix for #233