minor updates to Bug reporting process