Fixing bug in bugrep.c