server/tripe-admin.5.in: Fix markup for error messages.