Improving Firefox's handling of XSDs