Correcting a few syntax errors