Small patch to fix a minor issue.

Issue related to the automated timer to disable Warden.