fixed formatting bugs in doc