Are stock market glitches something to worry about?