Minor improvements: some additions and checked the format