Docs: minor typo on INSTALL document