another tiny PEP8 fix