Tiny warning fix