Fix trivial warning