More improvements to the manual