Fixed #114: Editor labeling