This may fix a rare bug where the mouse cursor gets not reset.