Syntax fix in INSTALL