Make Pylint happy