Minor change to documentation.