alis/main: correct missing negation