Fix type of pid from command-line