Corrections are moves against the main trend. Since trend following makes money, it follows that trading in the direction of the main trend should make money. When the trader gets a sense that a correction is starting, then trading should be stopped since trades in the direction of the main trend may no longer be profitable.
It is wise to step aside and let the correction take its own course. There is no sense in trading with the main trend when prices are moving against it.
But, should we trade in the direction of the correction? The answer is: do not trade the correction, initially. If a pattern of trend continuation develops (lower highs, lower lows), then it is possible to trade the correction because the main trend itself becomes uncertain.
To relate these ideas with the current scenario: we may well start a correction soon enough. Traders should avoid short selling until a pattern develops that indicates lower levels are coming.