Wiki editor: Fix a white border