Fix a trivial error.