small modification for travis-ci bug