Fixed type in Travic CI config