Minor cosmetic changes to please flake8.