Fix typo in Josephson paragraph.