Fix bug introduced in previous commit related to doing the correct thing the first time the jargon state is loaded