why do we need \\ here? I would expect just "|"