Minor editor fix