I'm removing this comment, as I don't think it's useful to keep it here. You mentioned it in the commit msg, that's the right place.