Why a market correction could be good for your 401(k)