fix Travis Ci warning (typo)