Silence a few warnings