Fix a huge bug in bug reporting I introduced in 4.2