Fixed missing parenthesis.
Merge branch 'flint-2.4' into trunk