Good point. See e0d93f2