Maybe fix travis build?