This is a bit picky, but important.
When you buy a film, the manufacturer has determined what its ISO speed is and that is what is on the box.
If you decide to set your meter to a different setting, that isn't an ISO setting, it is your Exposure Index ("EI").
You cannot change the film's ISO speed. You can modify the EI you choose to use.
I would change "Shot ISO" to "EI Used"