Even more minor corrections.