update Gisle's e-mail address per his request