Minor changes to the manual to fix references to K3.