Output a string "0" not int

Fixes issue #3272