Travis Tweaks

Fixes #15.