[frontend/args cleanup] Minor cleanup