fixing up Robert Cailliau's name in a few places