small fix for arch