Fix syntactic mistake in earlier definition of FAILS.

(Note that most tests are not using FAILS anyway, due to #13746.)