Not certain. I do sometimes use control-down-arrow so it's possible that's what the problem was. But until we try a bugfixed version I can't be sure.