fix travis copy-and-paste error