compilation: fix compilation bug