Documentation

Second round of edits.