Fix a trivial bug.