Some cosmetics for code snippets