Fix the opt_def mistake in the manpage as found by Andreas