Fixing simple typo in BUGS section