Correction after comment from Romolo