Re: [PATCH] Fix pylint problem for #1066988.