Added an additional note about testing in Syntax Correctness.