Silencing a byte-compilation warning.