change wording of Docker article slightly