Editorial emendations