Fix an import error

See the previous commit for details.