missing copyright headers from this (and other) files