Added Travis flag