add imports. Fixes #740