Update the BUGS chapter in the manual