Fixing bugs caught during documentation.