fix travis complaint

Let's see if Mister Travis is happier...