[PATCH] Fix compilation error