Updated version of the manual.