Final fixes before main release.
Print contract options fix.