Bug fix: missing import