Fix configuration typo in Travis config