Clarified installation instructions.

Fixes #1126.