Minor change to how cast types are being described on the command line.