Accidentally left in extra debug printf.
Fixed parsing of integer arguments to SetOptions.