Code style, add GPL header