do you want to check tornado version here, in case this is ever a real error that should happen in the future?