Minor change to the documentation