Adding missing "then"