Small fix for unknown travis error