One more bit of documentation.