This looks pretty much fine.  Maybe a comment explaining what these are supposed to correspond to?