Update BUGS file.