fix a misprint in a frobby file that caused a compilation problem for one user

It's a mysteray, because it compiles for us everywhere.