Thanks ysth, from a 'user' point of view I'd consider it a bug (it certainly looks and smells like one), but it's good to know there's an explanation for this within the internals.