A few syntax error fixes