minor cleanups, remove travis stuff