thanks, i've started using this trick elsewhere -- not worth backporting here though imho