Some minor corrections / formatting issues