Fix type in cmdline message.