minor tweak to copyright