crap, it must be a while look - not if ... sigh. Let me fix that : the merge from internal repo to github messed up.
Thanks Kay - this was a big bug in the PR !