ah, nice. That is indeed a better way (wontfix since it's going away as you mention)