Improve the documentation (bis) with Arthur and Chandler's comments