Fix it the same way as f_x_to_zero() is fixed in wbgen.
Attach a file by drag & drop or click to upload
