fixes #127

add GPL header