fixes to certifiers
fixes to std setters