Minor format modification in installation instructions.