minor but ancient redrawing bug