Updates to the manual