Trivial change from some weeks ago (before month-long hiatus)