Minor: whitespace after , in || per RSG. Here and elsewhere.