editor: minor fix