trivial change to benchmark GitHub push