>I'm in a grammar quandry. Good grammar would have me write:
>
>...you could enter "Thoma." But the _word_ is "Thoma" so I think I should write "Thoma". But the ghost of my 6th grade english teacher (Miss Fisk) keeps whacking me on the head.
>
>I know: this is totally unimportant. < shrug >

Who's EB White? (If he is/was some kind of english language grammar authority let my ignorance tell you I did not went to school in the US, not that I slept through the grammar class)..
I suppose If he had been a programmer he would've typed the first option and run the program to see if it compiled without errors!! :)