JSONBOT 0.80.3 released