Adding GPL header as requested by the license