Fix byte-compilation warning

The description says it all :-)