Fixed error in installation page and updated pdf of the manual.