Make pylint happier