Minor bugfix, missing import