minor corrections to the header of the README