Fix #785
Fix default copyright string