Minor tweak to document structure