Not a huge problem, but the eraser creates another, mysterious eraser ghost that does nothing. When I change the size of the eraser, its size also changes.
Update: There are two of them
The problem seems to fix itself after reopening all of my open tabs.
