style fix, copyright missing