or remove writeMiniEditor() if not used