Getting rid of a compilation warning