You are reporting the paste Injectivity radius definition example.