Minor document updates