Minor editorial addition