Formatting and type correction in README