Couldn't find “teddy<3” automatically.