Yup - I eventually went looking for the particular commit and saw this was sensible.