Fix use of wrong field name in hot code push check.

Could result in multiple attempts to reload.