Added copyright headers etc.