Small fixes to installation.