Fixed #132 for good, next stroke is no longer flashed but simply highlighted.