Fixed a syntax error introduced by the previous commit. Maybe the Russians did it...