minor correction (type of fixed is plain old int)
ParseXMI: guard against unexpectedly short files