Please add a copyright header; just copy/paste from another file (but don't forget to change the year!)