diff --git a/nestkernel/recording_backend_mpi.h b/nestkernel/recording_backend_mpi.h
index 597558ce63..dd9d8f673d 100644
--- a/nestkernel/recording_backend_mpi.h
+++ b/nestkernel/recording_backend_mpi.h
@@ -49,13 +49,11 @@ using MPI.
 
 There are two ways to set the MPI port. If both are set, option A has precedence
 
-A)
-The address is supplied via the recording backends "mpi_address" status property.
+1. The address is supplied via the recording backends "mpi_address" status property.
 
-B)
-The name of the MPI port to send data to is read from a file for each
-device configured to use this backend. The file needs to be named
-according to the following pattern:
+2. The name of the MPI port to send data to is read from a file for each
+   device configured to use this backend. The file needs to be named
+   according to the following pattern:
 
 ::
 
diff --git a/nestkernel/stimulation_backend_mpi.h b/nestkernel/stimulation_backend_mpi.h
index 6617fb8bc0..d06427c741 100644
--- a/nestkernel/stimulation_backend_mpi.h
+++ b/nestkernel/stimulation_backend_mpi.h
@@ -49,13 +49,11 @@ co-simulation or for receiving stimuli from external software.
 
 There are two ways to set the MPI port. If both are set, option A has precedence
 
-A)
-The address is supplied via the recording backends "mpi_address" status property.
+1. The address is supplied via the recording backends "mpi_address" status property.
 
-B)
-The name of the MPI port to receive data on is read from a file for
-each device configured to use this backend.  The file needs to be
-named according to the following pattern:
+2. The name of the MPI port to send data to is read from a file for each
+   device configured to use this backend. The file needs to be named
+   according to the following pattern:
 
 ::