Tweaked BUGS documentation