Fix some minor syntax issues