Fixed a minor bug in the Eclipse install instructions.