Finish adding documentation to #7 fix.