Fix a bug in the parser and in the FF element choice function.