Fixes copyright headers as suggested in issue #13