* small fixes to please PyCharm's linter