Minor: just advancing a commit.  #240