Fix installation typos and update post-install procedure