Fixed a few notes in the setup documentation