Fixed syntax errors in the core testbench.