Fix snippet header stuff, again...