use JSON encoding for encoding title strings