Correcting some syntax errors