Bug in implicit zero generation