Another doc fix for `buffer-undo-list'.