trivial tweak in hopes of triggering travis