I didn't like that either, but put it in context. It's 1 of 17,000 tweets. There aren't many users with that many tweets who haven't lost their cool and called someone else a name. It's one of the most common things you see on twitter. Not excusing it, just saying it's worth looking at in context and importantly it's not something he's repeated.