commandline: silence a warning since this is used correctly