Little helpers for the editor