small fix to make it compile