Silence some byte-compilation warnings