Tell travis to check the types