Fix jsonify_notice. Fixes #77.