Fix bogus negation in control-spec; spotted by Frithjof.