fixing a bug that was obvious only under VC.