neaten up copyright header a bit