This article is within the scope of WikiProject Anti-war, a collaborative effort to improve the coverage of the anti-war movement on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
The official name of the page should be "William Thomas", not just "Thomas." Thomas may have been what his friends called him, but to people who didn't know him personally it's William Thomas. Robert De Niro's friends may call him Bobby, but his Wikipedia page is Robert De Niro. — Preceding unsigned comment added by 22.214.171.124 (talk) 07:22, 8 December 2013 (UTC)
It's common on Wikipedia for activists to go by their common name like Swampy or Suelo. William Thomas is his first name and middle name, so it doesn't make much sense as an official page title. Robert De Niro's Wikipedia page is not Robert De, for example.
According to the sources listed in the article Thomas' surname is spelt Hallenback, not Hallenbeck. I have reverted your edit. Please provide a source for Hallenbeck. Nirvana2013 (talk) 11:09, 8 December 2013 (UTC)