The existing stroke eraser is useful, but a freehand erasing mode would be better for small and precise corrections.