Minor change to documentation