Another useless const