small fix to build