Fix a silly mistake.