tommy doom some idiot put tommy doom instead of the actual person the preceding unsigned comment was added by an unidentified user fixed the apparent vandalism was by a user at ip address at december the correct name of the designer was not in the article previously