minor updates to BUGS.txg