Unreproducible string/integer issue