Fixing broken build - see #378