Some small corrections.

Only small things and corrected info on what is actually stored in the file package-states-auto.