<div>IMHO, even if this is a bug, it affects very little code, and there is a easy workaround for this code, to rewrite as explisit calls to LIST, etc</div>