Fixes bug #6 - erasing stroke no longer crashes.