Tom Leppert is still running for senate apparently