Installation: updated instructions.