nit: this change seems unnecessary, but i guess doesn't hurt anything.