minor changes to installation docu