Documentation fixes; use standard result printer for testing

Change-Id: I695ba4abf45185e398566cfb7449798f18c0c1c1