Small documentatiton fix