cosmetics: make pep8 happy