fix trivial documentation bugs in libsec