minor tweaks to copyright