Fixed up some tabs that a crappy editor put in. Hopefully we're all 2-space indented now.

Added the leader's total points to the !points output.