Fix a bug from one of the three of us...