Fix a serious bug.