That's correct. And if the short put hasn't lost much value by Sept expiration, the trader would again need to buy a put so he isnt naked short.