Occasional flash crash is useful reminder