Improve the documentation slightly.