Fix bug #5713 by correcting the generated schema.