Of course it's allowed. It would be under one of the Merchant Error chargeback codes since the intent was never there to tip $1000 (and it happened due to an error in their software).
If it's not classed under that code there's also 'Friendly Fraud' code for misrepresentation.