Fix a documentation type, also fixes: #1318: Unable to run program with abp-priority and numa-sensitivity enabled