Fix #2517, Fix the lint