server/tripe.8.in: Fix formatting mistake.