Appease the pylint gods.

Fixes #10432