Fix false negative in smoke test