This is a bug indeed, thanks for the notice. (changed the way this was detected and I accidentally the whole thing, sigh).