fix Grigore's comment about fun