Added missing GPLv3 headers