minor revision, mostly to avoid line break