Fix bug in set up instructions.