Fix some minor syntax things