Some cosmetic change to the README