Arch: small fix to Remove tool