Fix some C snippets