Fix editorconfig - Fixes #762