See the other issue for the discussion about this :-)