Re #389: Minor change in the text