fix minor documentation issue