minimal editorial change.

Just to trigger Travis CI