Update BUGS file (bug #5568)