Update doc/BUGS.