Even more changes to the manual