Tweaks to the commentary on "The Prague Cemetery".