Yeah, but it's pre-existing. I only added a single level to deal with the re-borrowing of `stripped`.