quick fix compilation error