Tweaking INSTALL formatting