diff --git a/RELEASE b/RELEASE
index 81afbb505..dc5d4ad0c 100644
--- a/RELEASE
+++ b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.30.8 (2024-11-26) fixing opts/2
 v10.30.7 (2024-11-26) changing --proof-explanation to --ether (explain the reasoning)
 v10.30.6 (2024-11-25) adding --proof-explanation command line switch to output proof explanation using log:proves
 v10.30.5 (2024-11-22) experimental (functor; args) compound terms
diff --git a/VERSION b/VERSION
index a8207bfd2..ba55c3381 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-10.30.7
+10.30.8
diff --git a/eye.pl b/eye.pl
index 750283765..0bd7c9053 100644
--- a/eye.pl
+++ b/eye.pl
@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v10.30.7 (2024-11-26)').
+version_info('EYE v10.30.8 (2024-11-26)').
 
 license_info('MIT License
 
@@ -697,6 +697,9 @@
     retractall(flag('max-inferences', _)),
     assertz(flag('max-inferences', Limit)),
     opts(Argus, Args).
+opts(['--no-bnode-relabeling'|Argus], Args) :-
+    !,
+    opts(Argus, Args).
 opts(['--no-distinct-input'|Argus], Args) :-
     !,
     retractall(flag('no-distinct-input')),
@@ -852,7 +855,7 @@
     assertz(wcache(Arg, File)),
     opts(Argus, Args).
 opts([Arg|_], _) :-
-    \+memberchk(Arg, ['--entail', '--help', '--n3', '--n3p', '--no-bnode-relabeling', '--not-entail', '--pass', '--pass-all', '--proof', '--query', '--trig', '--turtle']),
+    \+memberchk(Arg, ['--entail', '--help', '--n3', '--n3p', '--not-entail', '--pass', '--pass-all', '--proof', '--query', '--trig', '--turtle']),
     sub_atom(Arg, 0, 2, _, '--'),
     !,
     throw(not_supported_option(Arg)).
diff --git a/eye.zip b/eye.zip
index a4b2d0b12..cd99c649e 100644
Binary files a/eye.zip and b/eye.zip differ