Add some bug reporting hints