Fix a silly oversight