Got defprod example working
Trivial change