further formatting (thanks to pycharm)