minor fixes in Mac OS installation guide suggested by @peterbe and @selenamarie