Updated hall of fame :-) + minor cleanups