Fix byte-compilation warning in last change