Take care of a compilation warning