ugh, fix compilation error