For consistency, do s/info/args/ here and everywhere.