Grace Hopper's famous `bug'