minimal changes to fix travis-ci issue.