Seen.py now properly stores names with capitalization.