Correct Tomas' name.

I used his IRC name, not gerrit username. (How does one find out
gerrit usernames?)

Change-Id: Idefbf6ff83005e66c26c421f5cff6ee5cd44ee8a