added licensing information: GPLv3