Documentation patch.