Small appendum to the doc.