Minor tweaks to copyright notice