version was not increased after the last bug fix (so the updated version will currently not be installed with "pip install -U")