minor edit to tickle travis again (now that we re-enabled Travis, doh)