tiny compilation fix