Little cosmetic changes in editor