Other changes to the manual