Initial verified version
Fix syntax errors