Minor typo fix in the doc of Aggregated db

12 jobs for dev_branch in 18 minutes and 26 seconds (queued for 2 seconds)