Typos and tweaks to Warden troubleshooting