I don't actually know if it's strictly necessary, but it seems like a good idea. I will add a comment, though.