Fix a rather stupid bug.