The coding style used elsewhere in this file uses one space around `||`.