Pre-existing, but this is ... goofy! We should be able to remove this by now.