First, I have had a few inaccurate line-up cards over the years, the most recent was yesterday. Typically a wrong number, sometimes wrong positions. I dont' think it is that uncommon (these are coaches we're talking about :))

Second, when the nickname was used in the batting order, was it a pre-printed card with full names at the bottom? If so, I have no violation. I have the proper last name and number in the BO so I don't need anything else; it is superfluous and can be ignored. If not, then I don't know who she is so if the nickname isn't another form of her name then it's inaccurate.

Nicknames can be tricky
 

Seaman Buckman: The name's Buckman.
Seaman Nitro 'Mike': Uh... Nitro, hi.
Seaman Buckman: Interesting nickname, what's your real name?
Seaman Nitro 'Mike': Nitro.
[pauses]
Seaman Nitro 'Mike': I'm working on a nickname, though.
Seaman Buckman: Oh yeah?
Seaman Nitro 'Mike': Yeah. Listen to this... Mike.

I'll tell you tomorrow but he's the pitcher.

(Meep = "My bad")

+1:)

He STILL fusses at me about this.... I just tell him that she was smarter that he is....Hell, I TOLD him to check it after the first one.....