Good point. The word "safe" in "Alice's position is safe again" is only from the POV of the blockchain.
It is true that Alice will remain in margin call territory until either the price feed returns to its original position, or Alice updates her short position. In a liquid market this means that in fact the entire short position will be matched with orders on the market.