Reinstated copyright notice deleted in last commit.