Update rich text editor. Fixes #407.