Some minor manual improvements.