small fixes to installation and user