bugfix for travis-ci.