Fixing type in INSTALL