Fix some errors in the end-to-end encryption spec.