Fixed a typo in the TravisCI config; it worked previously because of a matching typo in the solution config, but broke when that was fixed.