Fix typo in travis-ci config