Two small fixes in installation instructions.