Holger Rune 'should've pulled out' of Miami