Add a few missing copyright headers