Fix priority bug with or
Silence push-on-reference warnings