fix byte-compilation warning