Make some slight changes

The project will become out-of-date if Pavel sends me the latest version