another fix for travis-ci #23