Small change to the user manual.