Adding a bit of missing style, trying to make it yet document-consistent.