remove the previous bug fix, as it has been implemented in codjo-test