Get rid of a minor compile-time warning