Dumb text editors, unexpected indent