Whoops, either he edited his comment or I misread it. Probably my mistake.