This file needs our full copyright notice. I'll add it.