Fixing bugs: in spirit and in software