You are correct. The researchers here sequenced each vaccine starting with the bit of vaccine left in the vial after administration. The goal was to get a raw sequence of the Moderna mRNA component so it can be easily filtered out as being a signal of therapeutic origin. Pfizer's sequence has already been published; it's incldued here to confirm that the result achieved experimentally matches the published sequence.