Fix minor documentation issue