tiny change to make travis-ci go