thanks for spotting this. (there is a gcc warning for this: shall we turn it on?)