minor change to trigger Travis CI build in this branch