For future cases, I tend to prefer `||`. Not a big deal here, though.