Fix a silly mistake