Improve the documentation slightly