small edit suggested by Brian Ripley