My vaccine card says “Stephan” rather than “Stephen”

[stephen]

I didn’t notice until weeks later, and the appointment for a second shot was at another location.