Fix compilation errors (although the code is useless ...)