Added missing GPL header.