Add Hadis regexp fix to JSON deserialiser.