minor change to document formatting