This seems to have been done independently - in fact I think I did it without noticing this bug (sorry).
This seems to have been done independently - in fact I think I did it without noticing this bug (sorry).