Fix documentation warnings #1108

Merged
merged 2 commits into from Aug 20, 2012
Commits on Aug 17, 2012
  1. @mdboom

    Fix documentation warnings

    mdboom committed Aug 17, 2012
Commits on Aug 19, 2012
  1. @mdboom

    Address comments in PR #1108.

    mdboom committed Aug 19, 2012