It does not seem obviously correct to me.