editors seem to be working correctly again.