Remove needless "then"