Docs: adjust INSTALL to reflect 2.5.1 behaviour
Docs: typo