Some minor adjustments of the README file