trivial change to get Travis to rebuild