Fix minor issues in REDitor.cs