Minor tweak 'OR' -> '||'. Goes with #570.