[Fix #884] Correct OBO bug in offense correction reporting