Remove debug message. Fix save-state-to-file.