Minor change in documentation