diff --git a/src/scripts/indent-emp b/src/scripts/indent-emp
index 0982593b..b84cb6ee 100755
--- a/src/scripts/indent-emp
+++ b/src/scripts/indent-emp
@@ -3,12 +3,13 @@
 # indent needs to know type names do to a proper job.
 # Type names located with grep typedef, then extracted by hand:
 types="bit_fdmask bit_mask caddr_t coord ef_fileinit emp_sig_t empth_sem_t empth_t intp iop_t iovec_t loc_Sem_t loc_Thread_t natid plate_e pointer qsort_func_t s_char stkalign_t u_char u_int u_short vf_ptr voidfunc"
-opts="-kr -cdw -cp8 -ncs -psl -nsob -ss"
+
+opts="-kr -cdw -cp8 -ncs -psl -ss"
 for t in $types
 do opts="$opts -T $t"
 done
 
-# Quote The indent Manual, Edition 2.2.8, section Bugs:
+# Quote `The `indent' Manual', Edition 2.2.8, section Bugs:
 #
 #   Comments of the form /*UPPERCASE*/ are not treated as comment but
 #   as an identifier, causing them to be joined with the next