Fix missing "then"