Compilation fix 2 (not sure)