Left in a HEAD comment from merge.