master

[pylint correction]

Apparently earlier edits to this function resulted in a strange but working
structure. Pylint pointed out the mistake.