#3: fix compilation error