fix for deployment suggested by travis-ci #2495