Fixing typos and cleaning up the Hyperlocality §