Fixes in the Setting up documentation