Small fixes in the install instructions