Fix a final nit