Aha, thanks. This is correct but not quite sufficient - I've committed a more complete fix for my next upload.
Aha, thanks. This is correct but not quite sufficient - I've committed a more complete fix for my next upload.