Small update to the user manual.