Update copyright
Fix negative coverage bug