Question 489491
You are right.
See problem 489040.
He is wrong as if working toward the slightly different problem 489039.
Or not fully understanding what the "odds x:y means".