put that copyright notice back in