Adding Riccardo Rossi to deflation copyright notice