Test: Fix bug in Travis script