Revision 2c724c971a161fc0158da96b7183d7f917a8182c

Committed on 12/10/2018 2:40 pm by Tim Weber <scy@scy.name> [GitHub Diff]

StyleCI fixes

Fixing the issues reported in <https://github.styleci.io/analyses/z3k5EY>.