Work a bit on installation instructions

[ci skip]