Travis build bugfix