Squashing a compilation warning