re-add accidentally removed copyright