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