[#626] Small textual tweak