Fixing Markdown syntax in INSTALL