Inference with a single treated cluster