For the second example, the MkI is specified, but as extra info because the name was already long. Anyway this is temporary, since the Mk specification will be stored in a different way soon.