be a bit more friendly towards people who forget to run "tools"