minor fixes for OR performance