Removed redundant stuff from saved states. Remove weird semi-colon.