Small bug in XSD slide