Fixing a typo that broke historywarning.