The Correction Tool allows you to trim and erase small areas, it removes parts of strokes and cuts holes in images where you draw with it.
You can also use the Eraser tool to remove entire strokes.
When selected, it slides out. You can adjust the size using the control on the Tool Editor.