Get rid of one compilation warning.