updated the copyright statement in line with Jens' remark in Bug #430