append vs commit comment changed

A minor comment change, meaningful from the algorithm point of view: distinguishing appending and committing.