Minor change on the documentation.