Re: [dev] [PATCH] minor cosmetic