More formatting (documentation)