> The output I provided above as master is the correct one.

Why?  Because it's in the master?