Ah, I should explain that. ``undo(5)`` reverts the last 5 operations and ``undo()`` only the last one. The sentence before the note-block is not clear enough; I will fix it.