Trivial change to get travis going