Fixes error with options[not]