A few more changes to the user manual.