don't convert specific PR to int, already handled via options parser