fix typo

I accidentally checked in without flymake.