When I did a merge from release-0.10, an error showed up due to this missing import, so I added it.