Commit 622c462e4854cb33b357ffa6e0e10ec4dcac6434

DRC 2019-11-06T17:24:08

Fix copyright header formatting buglets