minor documentation addition