undo_manager : small formatting change