log.txt: right version number