Looks like the output I pasted is actually wrong though so maybe I spoke too soon.