Issue #1: mended travis config