Fixes bad substitution in travis script