NYSE says Tuesday’s trading glitch due to ‘manual error’