some small fixes in installation section;