Amend the doc a tiny bit