Formatting fix for man page.
@@ -616,7 +616,7 @@ This command can be used to perform RPKI route origin validation for one or
more route announcements. Routinator will determine whether the provided
announcements are RPKI valid, invalid, or not found.
-.SP
+.PP
A single route announcement can be given directly on the command line:
.TP
@@ -637,7 +637,7 @@ JSON format including lists of the VRPs that caused the particular result.
If this option is omitted, Routinator will only print the determined
state.
-.SP
+.PP
Alternatively, a list of route announcements can be read from a file or
standard input.
@@ -667,7 +667,7 @@ by an ASCII-art arrow
surrounded by white space and followed by the AS number of originating
autonomous system.
-.SP
+.PP
The following additional options are available independently of the input
method.
