small typo fix to spectral theorem