Clarified installation instructions for workshop.