Fix passing of int with -s option