nit comment, I think this change is not needed anymore.