quick minor hotfixes (resizing, double key press after losing)