9545bb7e7 Minor nit correction