Getopt fixes: allow permute as in example, fix spec