There is a missing option markup for a `--push-state' reference in the
description of the `--pop-state' option, fix it.
@kindex --pop-state
@cindex pop state governing input file handling
@item --pop-state
-Undoes the effect of --push-state, restores the previous values of the
-flags governing input file handling.
+Undoes the effect of @option{--push-state}, restores the previous values
+of the flags governing input file handling.
@kindex -q
@kindex --emit-relocs