maybe I found a bug in tornado?