Hi,

Thanks for find a solution to your own problem. We address this very problem with a new editor that will be available next year. In the mean time your fix seems appropriate, though heavy handed :)

Will