One minor bugfix for MacOs - an import statement was missing