getopt: bug fix in docstring and definition of DECLARE-GETOPT-OPTIONS