small fix missing from last build