See #127: Added the copyright and license header.