Fixing a few syntax errors from the last commit