attempt #2 at bug fix for Travis CI