Tiny correction.

functional completeness -> functional correctness