fix pre in editor. Fixes #502