Re: [PATCH] Fix comment to use correct option name