Comment by naugtur

Yup, and thanks - I should have made the comment myself but got distracted.