restore copyright (somehow it got away)